A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
نویسندگان
چکیده
منابع مشابه
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of a system, thus providing a concrete design methodology for complex systems. ntcc , a constraints-based calculus for modeling temporal non-deterministic and asynchronous behaviour of processes has been proposed recentl...
متن کاملUsing Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
To cite this version: Alexander Bockmayr, Arnaud Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems. [Interne] A02-R-026 —— bockmayr02a, 2002, 15 p. HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching an...
متن کاملStochastic Concurrent Constraint Programming
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give an operational semantic that can be provided either with a discrete or a continuous model of time. The notion of observables is discussed, both for the discrete and the continuous version, and a connection between the t...
متن کاملModeling biological systems in hybrid concurrent constraint programming
Constraint programming is a new programming language paradigm that appeared in the late 80’s and became more and more popular during the 90’s [5]. In a constraint program, the user specifies a number of constraints. Each constraint defines a relation between the variables that describe the state of the system under investigation. The constraint programming tool provides constraint solving algor...
متن کاملTimed Concurrent Constraint Programming for Analysing Biological Systems
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information constructs in ntcc can provide a suitable language for such systems. We also illustrate how ntcc may provide a uni ed framework for the analysis of biological systems, as they can be described, simulated and veri ed using th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: CLEI Electronic Journal
سال: 2006
ISSN: 0717-5000
DOI: 10.19153/cleiej.9.2.4